From 774967012bd4c83135193b8cf7bf1a431d3a538c Mon Sep 17 00:00:00 2001
From: =?utf8?q?=C3=86var=20Arnfj=C3=B6r=C3=B0=20Bjarmason?=
 <avar@users.mediawiki.org>
Date: Mon, 25 Apr 2005 09:05:18 +0000
Subject: [PATCH] * addWikitext instead of addHTML

---
 includes/SpecialSearch.php | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

diff --git a/includes/SpecialSearch.php b/includes/SpecialSearch.php
index 93daf34035..70341e8670 100644
--- a/includes/SpecialSearch.php
+++ b/includes/SpecialSearch.php
@@ -27,7 +27,12 @@
 require_once( 'SearchEngine.php' );
 require_once( 'Revision.php' );
 
-function wfSpecialSearch( $par='' ) {
+/**
+ * Entry point
+ *
+ * @param string $par (default '')
+ */
+function wfSpecialSearch( $par = '' ) {
 	global $wgRequest, $wgUser;
 	
 	$search = $wgRequest->getText( 'search', $par );
@@ -108,8 +113,7 @@ class SpecialSearch {
 				$editurl = $t->escapeLocalURL( 'action=edit' );
 			}
 		}
-		# FIXME: HTML in wiki message
-		$wgOut->addHTML( '<p>' . wfMsg('nogomatch', $editurl, htmlspecialchars( $term ) ) . "</p>\n" );
+		$wgOut->addWikiText( wfMsg('nogomatch', $term) );
 
 		return $this->showResults( $term );
 	}
-- 
2.20.1